Control-theory and models at runtime
نویسندگان
چکیده
Models at runtime are considered a key enabling technology for systems that control themselves as they operate. The automatic-control community has developed extensive theories and experiences in qualifying the properties of controller and systems; including stability, observability and commandability. In this position paper we propose to use control-theory for describing self-adaptive model-driven systems
منابع مشابه
A Theory of Runtime Enforcement, with Results
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and their results. Because previous work could not model monitors transforming results, MRAs capture realistic behaviors outside the scope of previous models. MRAs also have a simple but realistic operational semantics t...
متن کاملControl Theory and Economic Policy Optimization: The Origin, Achievements and the Fading Optimism from a Historical Standpoint
Economists were interested in economic stabilization policies as early as the 1930’s but the formal applications of stability theory from the classical control theory to economic analysis appeared in the early 1950’s when a number of control engineers actively collaborated with economists on economic stability and feedback mechanisms. The theory of optimal control resulting from the contributio...
متن کاملApplication of Stochastic Optimal Control, Game Theory and Information Fusion for Cyber Defense Modelling
The present paper addresses an effective cyber defense model by applying information fusion based game theoretical approaches. In the present paper, we are trying to improve previous models by applying stochastic optimal control and robust optimization techniques. Jump processes are applied to model different and complex situations in cyber games. Applying jump processes we propose some m...
متن کاملActor-based Runtime Model of Adaptable Feedback Control Loops (Position Paper)
Engineering self-adaptive systems is a particularly challenging problem. On the one hand, it is hard to develop the right control model that drives the adaptation; on the other hand, the implementation and integration of this control model into the target system is a difficult and an error-prone activity. Models@runtime is a promising approach to managing adaptations at runtime, as they provide...
متن کاملVerification and analysis of domain-specific models of physical characteristics in embedded control software
Context: A considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. Objective: Due to the evolution of system properties and increasing complexity, faults can be left undetected in these models of p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007